DUGi: Llistar Títols | dc.subject:"Clause learning" | 0 - 1

Llistar Títols

S'ha trobat un ítem:

1

Format	Data	Títol	Autor
Format	Data	Títol	Autor
	1 setembre 2019	Eina educativa de suport per l’estudi de resoledors SAT	Cané Salamià, Marc

1

Matèries

Universitat de Girona Solució de problemes Problema de satisfactibilitat booleana SAT Backjumping Problem solving Clause learning

Autors

Cané Salamià, Marc Coll, Jordi Universitat de Girona. Escola Politècnica Superior Villaret Auselle, Mateu